Nuprl Definition : es-causle
11,40
postcript
pdf
e
c
e'
== es-causl(
es
;
e
;
e'
)
(
e
=
e'
)
latex
clarification:
es-causle(
es
;
e
;
e'
) == es-causl(
es
;
e
;
e'
)
(
e
=
e'
es-E(
es
))
latex
Definitions
P
Q
,
es-causl(
es
;
e
;
e'
)
,
s
=
t
,
es-E(
es
)
FDL editor aliases
es-causle
origin
e' == es-causl(es; e; e') 
(e = e')
(e = e' 
es-E(es)) e' == es-causl(es; e; e') (e = e')
(e = e' es-E(es)) Q